3581. mathematical proof
المؤلف: / Rowan Garnier, John Taylor
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
3582. 100% mathematical proof
المؤلف: Garnier, Rowan.
المکتبة: (خراسان الجنوبیة)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
3583. 100 mathematical proof
المؤلف: Garnier, Rowan.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
3584. mathematical proof
المؤلف: / Rowan Garnier, John Taylor
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
3585. Nonclassical logics and information processing : international workshop, Berlin , November 9-10, 1990 : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
5
.
N664
1992
3586. numeric computation-Symbolic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computable functions ; Data processing ; Congresses. ; Numerical analysis ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
3587. philosophicus-Tractatus logico
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ; Language and languages ; Philosophy. ;
3588. programs-as-Adapting proofs
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry
3589. routledge philosophy guidebook to wittgenstein and the tractatus
المؤلف: morris, michael
المکتبة: (قم)
موضوع:
رده :
B
3376
.
W563T7345
2008
3590. sets logic, and axiomatic theories
المؤلف: Stoff, Robert r
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع: ، Set theory,، Logic , Symoblic and Mathematical
رده :
QA
248
.
3
.
S78
1974
3591. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
المؤلف: edited by W. Bibel and R. Kowalski
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
87
3592. 5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
المؤلف: edited by Wolfgang Bibel, Robert Kowalski.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer science.,Mathematical Logic and Formal Languages
3593. 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
المؤلف: edited by W. Bibel and R. Kowalski
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
87
3594. 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
المؤلف: / edited by D.W. Loveland
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
76
.
9
,.
A96
,
C66
,
1982
3595. 9th International Conference on Automated Deduction :
المؤلف: E. Lusk, R. Overbeek (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving-- Congresses.,Logic, Symbolic and mathematical-- Congresses.
رده :
QA76
.
9
.
A96
I57
1988
3596. 8th International Conference on Automated Deduction :
المؤلف: edited by Jörg H. Siekmann.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
3597. 8th International Conference on Automated Deduction
المؤلف: edited by Jپ rg H. Siekmann
المکتبة: (کرمان)
موضوع: Automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
A96
,
I57
1986
3598. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988: Proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
I57
1988
3599. 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, proceedings
المؤلف: E. Lusk, R. Overbeek )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
310
3600. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
المؤلف: edited by R.E. Shostak
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
170
